Semigroups, Horn sentences and isolic structures
نویسندگان
چکیده
منابع مشابه
Reduced Products, Horn Sentences, and Decision Problems
We shall consider a first order language with equality, and the corresponding structures. Reduced products {powers) and Horn sentences are defined in [4, pp. 199, 211]. An Vn sentence is a prenex sentence whose prefix consists of a block of universal quantifiers, followed by a block of existential quantifiers, followed by another block of universal quantifiers, and so on n times; an sentences a...
متن کاملLearning Acyclic First-order Horn Sentences
This paper considers the problem of learning an unknown rst-order Horn sentence H from examples of Horn clauses that H either implies or does not imply. Particularly, we deal with a subclass of rst-order Horn sentences ACH(k), called acyclic constrained Horn programs of constant arity k. ACH(k) allows recursions, disjunctive definitions, and the use of function symbols. We present an algorithm ...
متن کاملLinear dilatation structures and inverse semigroups
A dilatation structure encodes the approximate self-similarity of a metric space. A metric space (X, d) which admits a strong dilatation structure (definition 2.2) has a metric tangent space at any point x ∈ X (theorem 4.1), and any such metric tangent space has an algebraic structure of a conical group (theorem 4.2). Particular examples of conical groups are Carnot groups: these are simply con...
متن کاملLearning Acyclic First-Order Horn Sentences from Entailment
This paper consider the problem of learning an unknown rst-order Horn sentenceH from examples of Horn clauses that H implies and does not imply. Particularly, we deal with a subclass of rst-order Horn sentences ACH(k), called acyclic constrained Horn programs of constant arity k. ACH(k) allow recursions, disjunctive de nitions, and the use of function symbols. We present an algorithm that exact...
متن کاملcompactifications and representations of transformation semigroups
this thesis deals essentially (but not from all aspects) with the extension of the notion of semigroup compactification and the construction of a general theory of semitopological nonaffine (affine) transformation semigroup compactifications. it determines those compactification which are universal with respect to some algebric or topological properties. as an application of the theory, it is i...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1975
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1975.61.87